Chú thích Giả_thiết_Kepler

  1. 1 2 Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland (ngày 29 tháng 5 năm 2017). “A Formal Proof of the Kepler Conjecture”. Forum of Mathematics, Pi 5: e2. doi:10.1017/fmp.2017.1. Truy cập ngày 16 tháng 6 năm 2017.  Đã bỏ qua tham số không rõ |doi-access= (trợ giúp)
  2. ↑ Hales, Thomas C. (tháng 6 năm 1994). “The Status of the Kepler Conjecture”. The Mathematical Intelligencer 16 (3): 47–58. doi:10.1007/BF03024356. 
  3. ↑ Singh, Simon (1997). Fermat's Last Theorem. New York: Walker. ISBN 978-0-80271-331-5. 
  4. ↑ Hales, Thomas C. (2012). Dense Sphere Packings: A Blueprint for Formal Proofs. London Mathematical Society Lecture Note Series 400 (Cambridge University Press). ISBN 978-0-521-61770-3. 
  5. ↑ “Project Flyspeck”. Google Code. 
  6. ↑ Hales, Thomas (ngày 9 tháng 1 năm 2015). "A Formal Proof of the Kepler Conjecture". arΧiv:1501.02155 [math.MG]. 

Tài liệu tham khảo

WikiPedia: Giả_thiết_Kepler http://sites.google.com/site/thalespitt/ http://www.keplersdiscovery.com/SixCornered.html http://www.thelatinlibrary.com/kepler/strena.html http://mathworld.wolfram.com/KeplerConjecture.html http://gdz.sub.uni-goettingen.de/dms/load/img/?IDD... http://www.its.caltech.edu/~atomic/snowcrystals/ea... http://adsabs.harvard.edu/abs/2010JAMS...23..299H http://www.math.pitt.edu/articles/cannonOverview.h... http://annals.princeton.edu/annals/2005/162-3/p01.... http://afp.sourceforge.net/entries/Flyspeck-Tame.s...